phạm trù noun category Từ điển kỹ thuật categorical tiên đề phạm trù...
Câu ví dụ
In the process, Eilenberg and Mac Lane created category theory. Trong giai đoạn này, Eilenberg và Mac Lane đã tạo ra Lý thuyết phạm trù.
Many significant areas of mathematics can be formalised by category theory as categories. Nhiều lĩnh vực toán học có thể được chính thức hóa bằng lý thuyết phạm trù như là các phạm trù.
Many areas of mathematics can be formalised by category theory as categories. Nhiều lĩnh vực toán học có thể được chính thức hóa bằng lý thuyết phạm trù như là các phạm trù.
In category theory, morphisms obey conditions specific to category theory itself. Trong lý thuyết phạm trù, các hình thái tuân theo các điều kiện cụ thể đối với chính lý thuyết phạm trù.
In category theory, morphisms obey conditions specific to category theory itself. Trong lý thuyết phạm trù, các hình thái tuân theo các điều kiện cụ thể đối với chính lý thuyết phạm trù.
Emily Riehl, a mathematician at Johns Hopkins University, is helping to lead the development of higher category theory. Emily Riehl, một nhà toán học tại đại học Johns Hopkins, đang giúp đỡ để định hướng sự phát triển của lý thuyết phạm trù bậc cao.
The most general setting in which these words have meaning is an abstract branch of mathematics called category theory. Các thiết lập chung nhất trong đó những từ này có ý nghĩa là một nhánh trừu tượng của toán học được gọi là lý thuyết phạm trù.
For more extensive motivational background and historical notes, see category theory and the list of category theory topics. Đối với nền tảng rộng rãi hơn và các ghi chú lịch sử, hãy xem lý thuyết phạm trù và danh sách các chủ đề của lý thuyết phạm trù.
For more extensive motivational background and historical notes, see category theory and the list of category theory topics. Đối với nền tảng rộng rãi hơn và các ghi chú lịch sử, hãy xem lý thuyết phạm trù và danh sách các chủ đề của lý thuyết phạm trù.
The language of category theory provides a concise definition for Lie groups: a Lie group is a group object in the category of smooth manifolds. Ngôn ngữ của lý thuyết phạm trù cung cấp định nghĩa rõ ràng cho nhóm Lie: nhóm Lie là một đối tượng nhóm trong phạm trù các đa tạp trơn.
Điện thoại